#!/bin/sh
FILE=$1
shift
#cat $FILE | /usr/bin/time -f "preprocessor took %e secs" gcc -Iinclude -E - | grep -v "^#" | /usr/bin/time -f "interpreter took %e secs" src/pepci -s strategies $*
cat $FILE | /usr/bin/time -f "preprocessor took %e secs" gcc -Iinclude -E - | /usr/bin/time -f "interpreter took %e secs" src/pepci -s strategies $*
